|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Defines names of workbench preferences that are available for the application to configure. These preferences are not intended to be used by other plug-ins.
This interface is not intended to be implemented by clients.
Field Summary | |
static String |
SHOULD_CLOSE_EDITORS_ON_EXIT
Workbench preference id for whether the workbench should attempt to close all open editors when the workbench closes. |
static String |
SHOULD_SAVE_WORKBENCH_STATE
Workbench preference id for whether the workbench should save the state of the workbench when it closes, and restore that state when it next re-opens. |
static String |
SHOULD_SHOW_MENU_BAR
Workbench preference id for whether workbench windows should have a menu bar by default. |
static String |
SHOULD_SHOW_SHORTCUT_BAR
Workbench preference id for whether workbench windows should have a shortcut bar by default. |
static String |
SHOULD_SHOW_STATUS_LINE
Workbench preference id for whether workbench windows should have a status line by default. |
static String |
SHOULD_SHOW_TITLE_BAR
Workbench preference id for whether workbench windows should have a window title by default. |
static String |
SHOULD_SHOW_TOOL_BAR
Workbench preference id for whether workbench windows should have a tool bar by default. |
Field Detail |
public static final String SHOULD_SHOW_TITLE_BAR
true
if workbench windows
should have a window title by default, and false
if they
should not have a window title by default.
The default value for this preference is: true
(has window title)
public static final String SHOULD_SHOW_MENU_BAR
true
if workbench windows
should have a menu bar by default, and false
if they
should not have a menu bar by default.
The default value for this preference is: true
(has menu bar)
public static final String SHOULD_SHOW_TOOL_BAR
true
if workbench windows
should have a tool bar by default, and false
if they
should not have a tool bar by default.
The default value for this preference is: true
(has tool bar)
public static final String SHOULD_SHOW_SHORTCUT_BAR
true
if workbench windows
should have a shortcut bar by default, and false
if they
should not have a shortcut bar by default.
The default value for this preference is: true
(has shortcut bar)
public static final String SHOULD_SHOW_STATUS_LINE
true
if workbench windows
should have a status line by default, and false
if they
should not have a status line by default.
The default value for this preference is: true
(has status line)
public static final String SHOULD_CLOSE_EDITORS_ON_EXIT
true
if editors should be closed, and
false
if editors should simply be discarded
The default value for this preference is: false
(discard editors)
public static final String SHOULD_SAVE_WORKBENCH_STATE
true
if workbench state should be
saved and restored, and false
if workbench state should
simply be discarded on exit, and recreated from scratch on reopen.
The default value for this preference is: false
(discard
workbench state)
|
Eclipse Platform Pre-release 3.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |